A Partial Evaluator for the Untyped LambdaCal ulus 1
نویسندگان
چکیده
منابع مشابه
Conversion by Evaluation
We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusing existing compilers and runtime environments for stock functional languages, without peeking under the hood, for a fast yet cheap system in terms of implementation effort. Our focus is on performance of untyped normalization b...
متن کاملEvaluation of NAPSS Expression Involving Polyalgorithms, Functions, Recursion, and Untyped Variables
This paper describes how ari thmetic expressions are evaluated in NAPSS . A brief discussion is included covering the types of expressions permi t ted and where the dist inct ive operands arise. First , the flow through the ari thmetic expression evaluator is given for arithmetic expressions which do not involve recursion , function evaluation or polyalgorithm cal ls. The handl ing of each of t...
متن کاملChildren with Steroid-resistant Nephrotic Syndrome: a Single-Center Study
Background and Aim: Steroid-resistant nephrotic syndrome (SRNS) accounts for 10%-20% of all cases of idiopathic nephrotic syndrome. These patients are at risk of developing end-stage renal disease. The aim of this study was to determine the demographic characteristics, renal biopsy findings, response to immunosuppressive treatment, and prognosis in pediatric patients with SRNS.Materials and Met...
متن کاملTagging, Encoding, and Jones Optimality
A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modulo renaming. Jones optimality has already been obtained if the self-interpreter is untyped. If the selfinterpreter is typed, however, residual programs are cluttered with type tags. To obtain the original source progr...
متن کاملLogimix: A Self-Applicable Partial Evaluator for Prolog
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial evaluation of functional languages to Prolog. Great care is taken to preserve the operational semantics of the partially evaluated programs, including the effects of non-logical predicates and side effects. At the same tim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991